Prove the equation cos x = 1 - 2 sin^2(x